1. Degrees of unsolvability
المؤلف: Sacks, Gerald E.
المکتبة: (طهران)
موضوع: ، Recursive functions
رده :
QA
248
.
5
.
S2
1966
2. Degrees of unsolvability
پدیدآورنده : Sacks, Gerald E.
موضوع : ، Recursive functions,، Unsolvability )Mathematical logic(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Higher recursion theory
المؤلف: / Gerald E. Sacks
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Recursion theory.
رده :
QA
,
9
.
6
,.
S23
,
1990
4. Higher recursion theory
المؤلف: Sacks, Gerald E.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
S23
1990
5. Higher recursion theory
المؤلف: Sacks, Gerald E.
المکتبة: (طهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
S23
1990
6. Mathematical logic in the 20th century
المؤلف: ]edited by[ Gerald E. Sacks
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
2
.
M22
7. Mathematical logic in the 20th century
المؤلف: / edited by] Gerald E. Sacks]
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: م‍ن‍طق ری‍اض‍ی
رده :
QA
۹
/
۲
/
م
۲ ۱۳۸۲
8. Saturated model theory
المؤلف: Sacks, Gerald E.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Model theory
رده :
QA
9
.
S313
9. Saturated model theory
المؤلف: [by] Gerald E. Sacks.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Model theory.,Modèles, Théorie des.,31.02 philosophy and theory of mathematics.,Model theory.,Model theory.,Modèles, Théorie des.,Modelltheorie
رده :
QA9
.
S313
10. Selected Logic Papers
المؤلف: Sacks, Gerald E
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
QA
9
.
S2
S4
1999
11. Selected logic papers
المؤلف: Sacks, Gerald E.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
2
.
S23
1999
